/*
 *--------------------------------------------------------------------------
 *   File Name:	setup.c
 * 
 * Description:	none
 * 
 * 
 *      Author:	Zhao Yanbai [zhaoyanbai@126.com]
 * 
 *     Version:	1.0
 * Create Date: Wed Mar  4 20:34:36 2009
 * Last Update: Wed Mar  4 20:34:36 2009
 * 
 *--------------------------------------------------------------------------
 */
#include<bits.h>
#include<printk.h>

extern void	SetupGDT();
extern void	SetupIDT();
extern void	SetupGate();
extern void	DetectCPU();
extern void	SetupSysc();
extern void	SetupPCI();
extern void	SetTss();
extern void	ShowLogo();
extern void	init_i8259A();

extern unsigned long mb_mm_lower, mb_mm_upper;
extern unsigned long mb_mmap_addr, mb_mmap_size;


extern void reboot();
void SetupKernel()
{
	ShowLogo();
	SetupGDT();
	SetupIDT();
	SetupGate();
	DetectCPU();
	init_i8259A();
	SetupIRQS();
	setTss();
	SetupSysc();
	SetupMM();
	SetupPCI();
}

